int Printf(int a, int b) ;